2

Infrared divergence in single-electron tunneling

Year:
1992
Language:
english
File:
PDF, 278 KB
english, 1992
6

Modular term rewriting systems and the termination

Year:
1990
Language:
english
File:
PDF, 313 KB
english, 1990
8

Modularity in noncopying term rewriting

Year:
1995
Language:
english
File:
PDF, 2.09 MB
english, 1995
10

Hardness measures for gridworld benchmarks and

Year:
2010
Language:
english
File:
PDF, 629 KB
english, 2010
11

Completion for Multiple Reduction Orderings

Year:
1999
Language:
english
File:
PDF, 118 KB
english, 1999
19

Multi-Completion with Termination Tools

Year:
2013
Language:
english
File:
PDF, 1008 KB
english, 2013
22

Appendix

Year:
1985
Language:
english
File:
PDF, 80 KB
english, 1985